41. Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
پدیدآورنده : Hailperin, Theodore.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebraic logic,، Algebra, Boolean,، Probabilities
رده :
QA
10
.
H34
42. Boole's logic and probability : a critical exposition from the standpoint of contemporary algera, logic and probability theory
پدیدآورنده : Hailperin, Theodore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebraic logic,، Algebra, Boolean,، Probabilities
رده :
QA
10
.
H34
1986
43. Cafe
پدیدآورنده : / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
44. Classical algebra
پدیدآورنده : Roger Cooke,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Algebra,Algebra- History,Algebraic logic
رده :
QA
.
C665
155
2008
45. Classical algebra :
پدیدآورنده : / Roger Cooke
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra,Algebra , History,Algebraic logic
رده :
E-BOOK
46. Classical algebra
پدیدآورنده : / Roger Cooke
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra,Algebra- History,Algebraic logic
رده :
QA155
.
C665
2008
47. Classical algebra: its nature, origins and uses
پدیدآورنده : Cooke, Roger
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Algebra,، Algebra - History,، Algebraic logic
رده :
QA
155
.
C665
2008
48. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
49. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
50. From a geometrical point of view
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ; Functor theory. ; Algebraic logic. ;
51. From objects to diagrams for ranges of functors
پدیدآورنده : Gillibert, Pierre
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functor theory,، Algebra, Boolean,، Algebraic logic
رده :
QA
3
.
L28
Vol
.
2029
52. Information Theory and network Coding
پدیدآورنده : Raymond W. Yeung
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Information theory in mathematics Congresses,Coding theory Congresses,Algebraic logic Congresses
رده :
QA
،
10
.
4
،.
Y4
،
2008
53. Introductory physics with algebra: mastering problem-solving
پدیدآورنده : Loucks, Stuart E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Mathematical physics,Textbooks ، Algebraic logic,Mathematics - Textbooks ، Problem solving
رده :
QC
20
.
7
.
A4
L68
2007
54. Logic and algebra
پدیدآورنده : / edited by Aldo Ursini, Paolo Aglianao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebraic logic, Congresses
رده :
QA10
.
L63
1996
55. Logic and algebra
پدیدآورنده : / edited by Aldo Ursini, Paolo Agliano
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebraic logic- Congresses
رده :
QA10
.
L63
1996
56. Logic and its applications
پدیدآورنده : Andreas Blass, Yi Zhang, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algebraic logic,Congresses ، Geometry, Algebraic
رده :
QA
10
.
L634
57. Logic and its applications: International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan
پدیدآورنده : Andreas Blass, Yi Zhang, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Algebraic logic,Congresses ، Geometry, Algebraic
رده :
QA
10
.
I578
2003
58. Logic in algebraic form. Three languages and theories
پدیدآورنده : Craig, William.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C73
59. Logic in algebraic form. Three languages and theories Amsterdam. North-Holland Pub. Co
پدیدآورنده : Craig, William
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C7
60. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,